On Axiom Systems of Pseudo-BCK Algebras
نویسندگان
چکیده
A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudoBCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35
منابع مشابه
Commutative pseudo BE-algebras
The aim of this paper is to introduce the notion of commutative pseudo BE-algebras and investigate their properties.We generalize some results proved by A. Walendziak for the case of commutative BE-algebras.We prove that the class of commutative pseudo BE-algebras is equivalent to the class of commutative pseudo BCK-algebras. Based on this result, all results holding for commutative pseudo BCK-...
متن کاملOn Hyper Pseudo BCK-algebras
In this paper, we introduce the notion of hyper pseudo B C K - algebras, which is a generalization of pseudo BCK -algebras and hyper BCK -algebras and we investigates some related properties. In follow, we de ne some kinds of hyper pseudo BCK -ideals of a hyper pseudo BCK - algebra and we find the relations among them. Finally, we characterize the hyper pseudo BCK -ideals of type 4 generated by...
متن کاملOn open problems based on fuzzy filters of pseudo BCK-algebras
We study the properties and relations of fuzzy pseudo-filters of pseudo-BCK algebras. After we discuss the equivalent conditions of fuzzy normal pseudo-filter of pseudo-BCK algebra (pP), we propose fuzzy implicative pseudo-filter and its relation with fuzzy Boolean filter of (bounded) pseudo-BCK algebras (pP). Then two open problems: “In pseudo-BCK algebra or bounded pseudo-BCK algebra, Is the ...
متن کاملLocal Pseudo-bck Algebras with Pseudo-product
Pseudo-BCK algebras were introduced by G. Georgescu and A. Iorgulescu as a generalization of BCK algebras in order to give a corresponding structure to pseudo-MV algebras, since the bounded commutative BCK algebras corresponde to MV algebras. Properties of pseudo-BCK algebras and their connections with other fuzzy structures were established by A. Iorgulescu and J. Kühr. The aim of this paper i...
متن کاملClasses of Pseudo-BCK algebras -Part I
In this paper we study particular classes of pseudo-BCK algebras, bounded or not bounded, as pseudo-BCK(pP) algebras, pseudo-BCK(pP) lattices, pseudo-Hájek(pP) algebras and pseudo-Wajsberg algebras. We introduce new classes of pseudo-BCK(pP) lattices, we establish hierarchies and we give some examples. We work with left-defined algebras and we work with → and ; as primitive operations, not with...
متن کامل